Nuprl Definition : w-M 11,40
w.M == (w.2.2).1 
latex

Definitionst.2, t.1
FDL editor aliasesw-M

origin